-
1 proof by contradiction
Большой англо-русский и русско-английский словарь > proof by contradiction
-
2 proof by contradiction
-
3 (proof) by contradiction
Математика: доказательство от противного, от противногоУниверсальный англо-русский словарь > (proof) by contradiction
-
4 proof by contradiction
1) Математика: доказательство от обратного, доказательство от противного2) Программирование: доказательство методом "от противного"Универсальный англо-русский словарь > proof by contradiction
-
5 proof by contradiction
English-russian dictionary of physics > proof by contradiction
-
6 proof by contradiction
English-Russian electronics dictionary > proof by contradiction
-
7 proof by contradiction
The New English-Russian Dictionary of Radio-electronics > proof by contradiction
-
8 proof by contradiction
доказательство от противногоEnglish-Russian dictionary of technical terms > proof by contradiction
-
9 proof by contradiction
Англо-русский словарь по исследованиям и ноу-хау > proof by contradiction
-
10 proof by contradiction, (by) reductio ad absurdum proof
Математика: доказательство от обратногоУниверсальный англо-русский словарь > proof by contradiction, (by) reductio ad absurdum proof
-
11 proof by contradiction, reductio ad absurdum proof
Математика: (by) доказательство от обратногоУниверсальный англо-русский словарь > proof by contradiction, reductio ad absurdum proof
-
12 contradiction
1) контрадикция2) опровержение4) противоречие5) разноречие•in a contradiction — противоречиво; в противоречии с
principle of contradiction — матем. принцип противоречия
-
13 contradiction
ˌkɔntrəˈdɪkʃən сущ.
1) противоречие, несоответствие;
конфликт;
коллизия contradiction in terms apparent contradiction basic contradiction glaring contradiction inherent contradiction Syn: opposition
2) опровержение, отрицание
3) несовместимость, противоположность;
контраст;
взаимоисключение proof by contradiction ≈ доказательство от противного Syn: contrast противоречие;
несоответствие, расхождение - to be in * (with) противоречить чему-л. - your attitude is in * with your character ваша позиция не вяжется с вашим характером - * in terms логическая несообразность опровержение - an official * of the rumours официальное опровержение слухов противоречие, несогласие, возражение - spirit of * дух противоречия - he spoke without fear of * он говорил, не опасаясь. что ему будут возражать ~ опровержение;
an official contradiction of the recent rumours официальное опровержение недавних слухов contradiction возражение ~ несогласие ~ несоответствие ~ опровержение;
an official contradiction of the recent rumours официальное опровержение недавних слухов ~ опровержение ~ противоположность;
контраст ~ противоречие, расхождение;
contradiction in terms явное противоречие ~ противоречие ~ расхождение ~ противоречие, расхождение;
contradiction in terms явное противоречиеБольшой англо-русский и русско-английский словарь > contradiction
-
14 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
15 proof
1) доказательство
2) непроницаемый
3) нормативный
4) пробный отпечаток
5) рашкетный
6) стандартный
7) проверка
8) испытание
9) защищенный
10) обоснование
11) безопасный
12) герметизировать
13) проба
– acid proof
– brush proof
– certificate of proof
– existence proof
– first proof
– foundry proof
– galley proof
– indirect proof
– irreducible proof
– not serving as a proof
– page proof
– press proof
– proof against
– proof by contradiction
– proof load
– proof press
– proof scheme
– proof spirit
– proof strength
– proof theory
– rigorous proof
– without proof
-
16 proof
1) доказательство || являющийся доказательством; доказывающий2) математическая или арифметическая проверка3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- abstract proof
- color proof
- deductive proof
- digital proof
- digital color proof
- direct proof
- direct digital color proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- theoretical proof
- zero-knowledge proof -
17 proof
1) доказательство || являющийся доказательством; доказывающий3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- color proof
- deductive proof
- digital color proof
- digital proof
- direct digital color proof
- direct proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- proof by contradiction
- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- theoretical proof
- zero-knowledge proofThe New English-Russian Dictionary of Radio-electronics > proof
-
18 contradiction
[ˌkɔntrə'dɪkʃ(ə)n]сущ.1) противоречие, несоответствие; конфликт; коллизия- apparent contradiction
- basic contradiction
- glaring contradiction
- inherent contradictionSyn:2) опровержение, отрицание3) несовместимость, противоположность; контраст; взаимоисключениеSyn:contrast 1. -
19 contradiction
1) контрадикция
2) разноречие
3) опровержение
4) противоречие
5) противоположность
– in contradiction
– law of contradiction
– proof by contradiction
– without contradiction -
20 by contradiction
- 1
- 2
См. также в других словарях:
proof by contradiction — noun Proof of a statement adduced by deriving a contradiction from the statements negation. Syn: reductio ad absurdum … Wiktionary
Contradiction — In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other.… … Wikipedia
Proof of Bertrand's postulate — In mathematics, Bertrand s postulate (actually a theorem) states that for each n ≥ 2 there is a prime p such that n < p < 2 n . It was first proven by Pafnuty Chebyshev, and a short but advanced proof was given by Srinivasa Ramanujan. The gist of … Wikipedia
Proof that e is irrational — In mathematics, the series representation of Euler s number e : e = sum {n = 0}^{infty} frac{1}{n!}!can be used to prove that e is irrational. Of the many representations of e, this is the Taylor series for the exponential function e y evaluated… … Wikipedia
Proof that the sum of the reciprocals of the primes diverges — In the third century BC, Euclid proved the existence of infinitely many prime numbers. In the 18th century, Leonhard Euler proved a stronger statement: the sum of the reciprocals of all prime numbers diverges. Here, we present a number of proofs… … Wikipedia
Proof by assertion — is a logical fallacy in which a proposition is repeatedly restated regardless of contradiction. Sometimes this may be repeated until challenges dry up, at which point it is asserted as fact due to its not being contradicted (argumentum ad… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof that π is irrational — Although the mathematical constant known as pi; (pi) has been studied since ancient times, and so has the concept of irrational number, it was not until the 18th century that π was proved to be irrational.In the 20th century, proofs were found… … Wikipedia
contradiction — The conjunction of a proposition and its negation . The law of non contradiction provides that no such conjunction can be true: not (p & not p ). The standard proof of the inconsistency of a set of propositions or sentences is to show that a… … Philosophy dictionary